contraction of quantifiers

См. также в других словарях:

• Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as …   Wikipedia

• Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… …   Wikipedia

• Daniel Kolak — (b. 1955 in Zagreb, Croatia) is a Croatian American philosopher who works primarily in philosophy of mind, personal identity, cognitive science, philosophy of science, philosophy of mathematics, philosophy of logic, philosophy of religion, and… …   Wikipedia

• American and British English differences — For the Wikipedia editing policy on use of regional variants in Wikipedia, see Wikipedia:Manual of style#National varieties of English. This is one of a series of articles about the differences between British English and American English, which …   Wikipedia

• Nominalism — is a metaphysical view in philosophy according to which general or abstract terms and predicates exist, while universals or abstract objects, which are sometimes thought to correspond to these terms, do not exist.[1] Thus, there are at least two… …   Wikipedia

• List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

• Possessive adjective — Examples Do you like my new dress? Please wash your hands. Her train leaves in an hour. English grammar series English grammar Contraction …   Wikipedia